(1 (
	("distance-decreasing(agent:person0,agent:person1)" 35 35)
	("distance-decreasing(agent:person0,agent:person1)" 41 41)
	("distance-decreasing(agent:person0,agent:person1)" 43 43)
	("distance-decreasing(agent:person1,agent:person0)" 35 35)
	("distance-decreasing(agent:person1,agent:person0)" 41 41)
	("distance-decreasing(agent:person1,agent:person0)" 43 43)
	("speed-increasing(agent:person0)" 25 25)
	("speed-increasing(agent:person0)" 27 27)
	("speed-increasing(agent:person0)" 37 37)
	("speed-increasing(agent:person0)" 39 39)
	("speed-increasing(agent:person0)" 41 41)
	("speed-increasing(agent:person1)" 25 25)
	("speed-increasing(agent:person1)" 27 27)
	("speed-increasing(agent:person1)" 29 29)
	("speed-increasing(agent:person1)" 31 31)
	("speed-increasing(agent:person1)" 33 33)
	("speed-increasing(agent:person1)" 35 35)
	("speed-increasing(agent:person1)" 39 39)
	("speed-increasing(agent:person1)" 41 41)
	("speed-increasing(agent:person1)" 43 43)
	("moving-fast-human(agent:person0)" 25 25)
	("moving-fast-human(agent:person0)" 27 27)
	("moving-fast-human(agent:person0)" 37 37)
	("moving-fast-human(agent:person0)" 39 39)
	("moving-fast-human(agent:person1)" 25 25)
	("moving-fast-human(agent:person1)" 27 27)
	("moving-fast-human(agent:person1)" 31 31)
	("moving-fast-human(agent:person1)" 33 33)
	("moving-fast-human(agent:person1)" 35 35)
	("moving-fast-human(agent:person1)" 39 39)
	("moving-fast-human(agent:person1)" 41 41)
	("moving-fast-human(agent:person1)" 43 43)
	("moving(agent:person0)" 25 25)
	("moving(agent:person0)" 27 27)
	("moving(agent:person0)" 37 37)
	("moving(agent:person0)" 39 39)
	("moving(agent:person0)" 41 41)
	("moving(agent:person1)" 25 25)
	("moving(agent:person1)" 27 27)
	("moving(agent:person1)" 29 29)
	("moving(agent:person1)" 31 31)
	("moving(agent:person1)" 33 33)
	("moving(agent:person1)" 35 35)
	("moving(agent:person1)" 37 37)
	("moving(agent:person1)" 39 39)
	("moving(agent:person1)" 41 41)
	("moving(agent:person1)" 43 43)
	("distance-increasing(agent:person0,agent:person1)" 27 27)
	("distance-increasing(agent:person0,agent:person1)" 33 33)
	("distance-increasing(agent:person1,agent:person0)" 27 27)
	("distance-increasing(agent:person1,agent:person0)" 33 33)
	("speed-decreasing(agent:person0)" 26 26)
	("speed-decreasing(agent:person0)" 28 28)
	("speed-decreasing(agent:person0)" 38 38)
	("speed-decreasing(agent:person0)" 40 40)
	("speed-decreasing(agent:person0)" 42 42)
	("speed-decreasing(agent:person1)" 26 26)
	("speed-decreasing(agent:person1)" 28 28)
	("speed-decreasing(agent:person1)" 30 30)
	("speed-decreasing(agent:person1)" 32 32)
	("speed-decreasing(agent:person1)" 34 34)
	("speed-decreasing(agent:person1)" 36 36)
	("speed-decreasing(agent:person1)" 40 40)
	("speed-decreasing(agent:person1)" 42 42)
	("distance-decreasing-to-stationary(agent:person0,agent:person1)" 39 39)
	("distance-decreasing-to-stationary(agent:person1,agent:person0)" 35 35)
	("distance-decreasing-to-stationary(agent:person1,agent:person0)" 39 39)
	("distance-decreasing-to-stationary(agent:person1,agent:person0)" 41 41)
	("distance-decreasing-to-stationary(agent:person1,agent:person0)" 43 43)
	("distance-stable(agent:person0,agent:person1)" 0 26)
	("distance-stable(agent:person0,agent:person1)" 28 32)
	("distance-stable(agent:person0,agent:person1)" 34 34)
	("distance-stable(agent:person0,agent:person1)" 36 40)
	("distance-stable(agent:person0,agent:person1)" 42 42)
	("distance-stable(agent:person1,agent:person0)" 0 26)
	("distance-stable(agent:person1,agent:person0)" 28 32)
	("distance-stable(agent:person1,agent:person0)" 34 34)
	("distance-stable(agent:person1,agent:person0)" 36 40)
	("distance-stable(agent:person1,agent:person0)" 42 42)
	("distance-increasing-to-stationary(agent:person0,agent:person1)" 27 27)
	("distance-increasing-to-stationary(agent:person0,agent:person1)" 37 37)
	("distance-increasing-to-stationary(agent:person0,agent:person1)" 41 41)
	("distance-increasing-to-stationary(agent:person1,agent:person0)" 25 25)
	("distance-increasing-to-stationary(agent:person1,agent:person0)" 27 27)
	("distance-increasing-to-stationary(agent:person1,agent:person0)" 33 33)
))

